Upload
Featured Recent Articles Topics Login Upload

Search Results for 'boogie int'

boogie int published presentations and documents on DocSlides.

Using and Building an Automatic Program Verifier
Using and Building an Automatic Program Verifier
by playhomey
K. Rustan M. Leino. Research in Software Engineeri...
Using and Building an Automatic Program Verifier
Using and Building an Automatic Program Verifier
by ellena-manuel
K. Rustan M. Leino. Research in Software Engineer...
Using and Building an Automatic Program Verifier
Using and Building an Automatic Program Verifier
by marina-yarberry
K. Rustan M. Leino. Research in Software Engineer...
Procedural abstraction in Boogie
Procedural abstraction in Boogie
by phoebe-click
Procedural abstraction. Procedure declaration and...